28.75/32.38	unsat
