1.69/4.17	unsat
