1.49/6.70	unsat
