4.67/5.05	unsat
