32.41/35.00	unsat
