2.54/4.17	unsat
