10.26/10.30	unsat
