2.62/4.17	unsat
