5.07/8.35	unsat
