29.74/32.15	unsat
