1.08/3.89	unsat
