29.42/33.01	unsat
