8.69/8.79	unsat
