8.28/10.19	unsat
