31.12/34.29	unsat
