7.08/7.18	unsat
