29.41/32.72	unsat
