4.96/6.55	unsat
