110.68/113.07	unsat
