4.96/6.52	unsat
