1.69/2.09	unsat
