8.47/8.77	unsat
