4.88/6.05	unsat
