34.20/35.67	unsat
