4.96/6.35	unsat
