1.28/5.05	unsat
