10.18/12.30	unsat
