29.42/35.09	unsat
