1.39/1.70	unsat
