2.28/3.89	unsat
