1.69/2.13	unsat
