8.42/8.52	unsat
