7.06/7.18	unsat
