10.12/10.23	unsat
