1.29/4.05	unsat
