6.19/6.24	unsat
