1.62/4.05	unsat
