103.61/103.89	unsat
