29.16/32.26	unsat
