1.18/3.05	unsat
