33.66/34.03	unsat
