1.49/1.70	unsat
