5.07/7.91	unsat
