34.93/35.24	unsat
