1.69/3.26	unsat
