8.56/9.86	unsat
