8.19/8.25	unsat
