The solver is able to position as-yet unplaced ships. There are two "flavors" to this rule:
All remaining ships (of one type) are found
Several ships (of one type, including virtual ships) are found