32.27/34.50	unsat
