34.73/35.67	unsat
