8.69/8.72	unsat
