34.18/34.74	unsat
