1.29/3.05	unsat
