34.69/34.74	unsat
