26.11/29.56	unsat
