29.74/32.19	unsat
