1.49/3.70	unsat
