10.19/10.30	unsat
