1.29/4.17	unsat
