6.17/6.30	unsat
