1.39/1.80	unsat
