33.05/33.50	unsat
