8.54/9.86	unsat
