7.97/8.86	unsat
