32.45/33.50	unsat
