27.17/32.11	unsat
