4.96/6.07	unsat
