32.89/33.09	unsat
