4.28/5.89	unsat
