886.19/888.18	unsat
