104.98/106.89	unsat
