31.49/35.70	unsat
