29.91/32.61	unsat
