8.77/10.77	unsat
