34.18/35.26	unsat
