7.18/8.18	unsat
