32.43/33.54	unsat
