34.80/35.26	unsat
