1.49/2.70	unsat
