5.31/7.89	unsat
