8.12/8.23	unsat
