4.88/6.35	unsat
