32.03/33.97	unsat
