4.98/6.05	unsat
