8.19/8.24	unsat
