110.71/113.67	unsat
