34.30/35.03	unsat
