4.94/5.05	unsat
