105.99/106.42	unsat
