7.66/8.52	unsat
