8.20/8.77	unsat
