105.98/106.17	unsat
