1.69/2.17	unsat
