1.18/5.05	unsat
