26.16/32.12	unsat
