7.48/9.77	unsat
