1.39/1.97	unsat
