5.23/7.81	unsat
