6.16/6.30	unsat
