7.97/8.52	unsat
