1.06/3.89	unsat
