110.40/113.02	unsat
